Skip to content

Improve data flow analyzer#13823

Closed
chriseth wants to merge 27 commits intodevelopfrom
improveDataFlow
Closed

Improve data flow analyzer#13823
chriseth wants to merge 27 commits intodevelopfrom
improveDataFlow

Conversation

@chriseth
Copy link
Contributor

@chriseth chriseth commented Dec 20, 2022

Fixes part of #13822

TODO:

  • check that the order in which references are introduced and deleted is fine
  • see if it makes sense to implement the references and referencedBy by a flat data structure (two sets of pairs)

Comment on lines +54 to +55
else
return nullopt;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
else
return nullopt;
return nullopt;

@github-actions
Copy link

github-actions bot commented Feb 7, 2023

This pull request is stale because it has been open for 14 days with no activity.
It will be closed in 7 days unless the stale label is removed.

@github-actions github-actions bot added the stale The issue/PR was marked as stale because it has been open for too long. label Feb 7, 2023
@ekpyron ekpyron removed the stale The issue/PR was marked as stale because it has been open for too long. label Feb 16, 2023
@github-actions
Copy link

github-actions bot commented Apr 1, 2023

This pull request is stale because it has been open for 14 days with no activity.
It will be closed in 7 days unless the stale label is removed.

@github-actions github-actions bot added the stale The issue/PR was marked as stale because it has been open for too long. label Apr 1, 2023
@nikola-matic nikola-matic removed the stale The issue/PR was marked as stale because it has been open for too long. label Apr 1, 2023
@github-actions
Copy link

This pull request is stale because it has been open for 14 days with no activity.
It will be closed in 7 days unless the stale label is removed.

@github-actions github-actions bot added the stale The issue/PR was marked as stale because it has been open for too long. label Apr 16, 2023
@nikola-matic nikola-matic added optimizer and removed stale The issue/PR was marked as stale because it has been open for too long. labels Apr 16, 2023
@github-actions
Copy link

github-actions bot commented May 1, 2023

This pull request is stale because it has been open for 14 days with no activity.
It will be closed in 7 days unless the stale label is removed.

@github-actions github-actions bot added the stale The issue/PR was marked as stale because it has been open for too long. label May 1, 2023
@github-actions
Copy link

github-actions bot commented May 9, 2023

This pull request was closed due to a lack of activity for 7 days after it was stale.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

closed-due-inactivity optimizer stale The issue/PR was marked as stale because it has been open for too long.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants